1～6件／全6件 セーフサーチON
  •  
Tests and Proofs : 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Tests and Proofs : 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Kovács, Laura (EDT)/ Meinke, Karl (EDT)

  • ウェブストア価格 ¥10,696（本体¥9,724）
  • Springer International Publishing AG（2022/06発売）
  • ポイント 97pt
  • 海外からお取り寄せ（通常6～9週間）
Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書

Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback,  言語：ENG

Blanchette, Jasmin (EDT)/ Kovács, Laura (EDT)/ Pattinson, Dirk (EDT)

  • ウェブストア価格 ¥8,318（本体¥7,562）
  • Springer International Publishing AG（2022/07発売）
  • ポイント 75pt
  • 海外からお取り寄せ（通常6～9週間）
Electronic Participation : 13th IFIP WG 8.5 International Conference, ePart 2021, Granada, Spain, September 7-9, 2021, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書

Electronic Participation : 13th IFIP WG 8.5 International Conference, ePart 2021, Granada, Spain, September 7-9, 2021, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語：ENG

Edelmann, Noella (EDT)/ Csáki, Csaba (EDT)/ Hofmann, Sara (EDT)

  • ウェブストア価格 ¥10,730（本体¥9,755）
  • Springer Nature Switzerland AG（2021/08発売）
  • ポイント 97pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 202
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 202  Paperback

Finkbeiner, Bernd (EDT)/ Kovács, Laura (EDT)

  • ウェブストア価格 ¥9,754（本体¥8,868）
  • Springer International Publishing AG（2024/05発売）
  • ポイント 88pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 202
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 202  Paperback

Finkbeiner, Bernd (EDT)/ Kovács, Laura (EDT)

  • ウェブストア価格 ¥9,754（本体¥8,868）
  • Springer International Publishing AG（2024/04発売）
  • ポイント 88pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 202
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 202  Paperback

Finkbeiner, Bernd (EDT)/ Kovács, Laura (EDT)

  • ウェブストア価格 ¥9,754（本体¥8,868）
  • Springer International Publishing AG（2024/04発売）
  • ポイント 88pt
  • 海外取次在庫
1～6件／全6件
  •